Bogdan Warinschi (Univ Bristol), November 2018 and April 2019.
Ralf Sasse (ETH Zurich), November 2019.